Nuprl Definition : nequal
11,40
postcript
pdf
nequal(
T
;
a
;
b
) ==
(
a
=
b
)
latex
clarification:
nequal(
T
;
a
;
b
) ==
(
a
=
b
T
)
latex
Definitions
nequal(
T
;
a
;
b
)
,
A
FDL editor aliases
nequal
origin
(a = b)
(a = b 
T) (a = b)
(a = b T) A